#! /bin/bash
make $*
